Applications of the Tarski–kantorovitch Fixed-point Principle in the Theory of Iterated Function Systems

We show how some results of the theory of iterated function systems can be derived from the Tarski–Kantorovitch fixed–point principle for maps on partially ordered sets. In particular, this principle yields, without using the Hausdorff metric, the Hutchinson–Barnsley theorem with the only restriction that a metric space considered has the Heine–Borel property. As a by–product, we also obtain some new characterizations of continuity of maps on countably compact and sequential spaces.